NORMAL FORMS DNF